11![Published in Proc. of Conference on Computer Aided Verification, Temporal-Safety Proofs for Systems Code? Thomas A. Henzinger1 George C. Necula1 1 Published in Proc. of Conference on Computer Aided Verification, Temporal-Safety Proofs for Systems Code? Thomas A. Henzinger1 George C. Necula1 1](https://www.pdfsearch.io/img/ea25aa16f0111e02b2ddfe05f345c125.jpg) | Add to Reading ListSource URL: www.cs.berkeley.edu- Date: 2010-10-29 12:59:27
|
---|
12![c Published in “Computer Aided Verification” (CAV), 2005, pp. 476–490.
Springer-Verlag, 2005. Data Structure Specifications via Local Equality Axioms c Published in “Computer Aided Verification” (CAV), 2005, pp. 476–490.
Springer-Verlag, 2005. Data Structure Specifications via Local Equality Axioms](https://www.pdfsearch.io/img/10503bb3c6bed9e20d6a8830f998de40.jpg) | Add to Reading ListSource URL: www.cs.berkeley.eduLanguage: English - Date: 2010-10-29 12:59:26
|
---|
13![Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak](https://www.pdfsearch.io/img/90c1384c188b5e22a8a3d069bd956b77.jpg) | Add to Reading ListSource URL: lara.epfl.chLanguage: English - Date: 2014-09-27 12:22:24
|
---|
14![IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 27, NO. 7, JULYKeynote Paper A Survey of Automated Techniques for](https://www.pdfsearch.io/img/1a1879a3f8a546ab3fe6692cd7ee5af1.jpg) | Add to Reading ListSource URL: www.eecs.berkeley.eduLanguage: English - Date: 2008-06-15 00:09:46
|
---|
15![Curriculum Vitae Joost-Pieter Katoen March 18, 2010 Personal details Name : Curriculum Vitae Joost-Pieter Katoen March 18, 2010 Personal details Name :](https://www.pdfsearch.io/img/1b311a92e42769641114c9e3ae2bbb9c.jpg) | Add to Reading ListSource URL: www-i2.informatik.rwth-aachen.deLanguage: English - Date: 2010-07-26 09:37:27
|
---|
16![Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics Curriculum Vitae1 Radu Grosu Address Institute of Computer Engineering Head of Dependable Systems GroupFaculty of Informatics](https://www.pdfsearch.io/img/2ea5bcb498a247cc1513a8ce7f435741.jpg) | Add to Reading ListSource URL: ti.tuwien.ac.atLanguage: English - Date: 2012-08-24 05:32:58
|
---|
17![Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P](https://www.pdfsearch.io/img/3d0bdfe1cf5743c0ffa1dfdecdce7d0e.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2012-12-15 15:15:15
|
---|
18![Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address: Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address:](https://www.pdfsearch.io/img/6364d198dd309cc9ff9a08435b093ec8.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2012-12-15 15:15:28
|
---|
19![Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005 Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005](https://www.pdfsearch.io/img/aedf7901481735646a816130f8a736bd.jpg) | Add to Reading ListSource URL: vstte.ethz.chLanguage: English - Date: 2005-07-29 10:40:50
|
---|
20![Memorandum Date: June 13, 2013 From: Memorandum Date: June 13, 2013 From:](https://www.pdfsearch.io/img/f4d438cfff41d2ddeb4c0509bbbb7382.jpg) | Add to Reading ListSource URL: www.fda.govLanguage: English |
---|